// JavaScript Document
 function inputNum(s){
     s.value = s.value.replace(/[^\d]/g,'');
}